Skip to main content

REACHER--a reachability condition derivation tool / [by] Timothy J. Shimeall.

Item Preview

texts
REACHER--a reachability condition derivation tool / [by] Timothy J. Shimeall.


Published September 1989
SHOW MORE


Title from cover

"Prepared for: Naval Postgraduate School"--Cover

"September 1989"--Cover

"NPS52-89-050"--Cover

Author(s) subject terms: Software testing, statement coverage, reachability analysis, failure regions

Includes bibliographical references

Technical report; 1989

REACHER is a tool that derives the conditions under which each program block in a Pascal program, procedure or function may be executed (i.e., the reachability conditions for each subprocedure, subfunction and begin-end block). The tool shall accept compilable Pascal program source code and shall produce both an annotated listing and an augmented control flow graph. REACHER is one of a series of four tools that work in an integrated fashion to analyze Pascal programs to determine the failure regions associated with identified faults in the programs. The augmented control flow graph produced by REACHER will used as input by the programs FALTER and SPACER, and shall be customized for such usage. The annotated source listing provides includes a correspondence between Pascal statements and control flow graph nodes. The users may access REACHER, FALTER and SPACER through a screen-oriented user interface called VIEWER. This document describes the operation of REACHER and its direct user interface

kmc/kmc 11/30/09

aq/aq cc:9116 01/28/98


Publisher Monterey, California : Naval Postgraduate School
Pages 24
Language English
Call number ocn471497032
Digitizing sponsor Naval Postgraduate School, Dudley Knox Library
Book contributor Naval Postgraduate School, Dudley Knox Library
Collection navalpostgraduateschoollibrary; fedlink; americana

Full catalog record MARCXML

[Open Library icon]This book has an editable web page on Open Library.

comment
Reviews

There are no reviews yet. Be the first one to write a review.
SIMILAR ITEMS (based on metadata)
Department of Defense
texts
eye 34
favorite 0
comment 0
Naval Postgraduate School, Dudley Knox Library
by Shimeall, Timothy J.
texts
eye 144
favorite 0
comment 0
Naval Postgraduate School, Dudley Knox Library
texts
eye 108
favorite 0
comment 0
Naval Postgraduate School, Dudley Knox Library
by Renard, Robert Joseph, 1923-
texts
eye 104
favorite 0
comment 0
Source: half
Naval Postgraduate School, Dudley Knox Library
texts
eye 104
favorite 0
comment 0
Naval Postgraduate School, Dudley Knox Library
texts
eye 110
favorite 0
comment 0
Naval Postgraduate School, Dudley Knox Library
by Koehler, Wilbert F.
texts
eye 247
favorite 0
comment 0
Naval Postgraduate School, Dudley Knox Library
by Zehna, Peter W.
texts
eye 179
favorite 0
comment 0
Naval Postgraduate School, Dudley Knox Library
texts
eye 203
favorite 0
comment 0